Philosophy of computer science - PDFSEARCH.IO - Document Search Engine

Philosophy of computer science
Results: 917

#	Item
11	Sentiment Analysis of Metaphorical Language A Thesis Submitted To The University Of the Aegean For The Degree Of Doctor Of Philosophy In Computer Science Add to Reading List Source URL: www.icsd.aegean.gr - Date: 2013-12-07 04:36:33
12	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: aydinmohseni.com Language: English - Date: 2015-09-20 14:52:00 Formal sciences Logic Logic in computer science Mathematical logic Non-classical logic Philosophy Minneapolis College of Art and Design Mathematics Intuitionistic logic
13	Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A Add to Reading List Source URL: www.carloangiuli.com Language: English - Date: 2015-05-08 13:33:44 Proof theory Riemann surfaces Mathematics CurryHoward correspondence Logic in computer science Philosophy of computer science Type theory Generalised Whitehead product
14	1 Convergence of Hypervolume-Based Archiving Algorithms Karl Bringmann and Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:28 Algorithm Mathematical logic Theoretical computer science NC Mathematics Spectral theory Philosophy of mathematics Logic
15	The Test Suite Generation Problem: Optimal Instances and Their Implications Christine T. Cheng Department of Computer Science University of Wisconsin–Milwaukee, Milwaukee, WI 53211, USA. Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2007-09-18 16:02:01 Set theory Mathematics Model theory Tree Base Philosophy of mathematics Large cardinals Abstraction
16	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic
17	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
18	University of Birmingham Computer Science Programme Timetable: MSc Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2016-04-28 08:40:25 Engineering Ethics Philosophy of science
19	GeoInformatica 6:2, 99±121, 2002 # 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Vagueness and Rough Location THOMAS BITTNER Department of Computer Science, Northwestern University, USA Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:06:48 Philosophy Logic Metaphysics Ontology Philosophy of language Semantics Cartography Geography Spatial analysis Mereology Indeterminacy Vagueness
20	The Threat of Algocracy: Reality, Resistance and Accommodation By John Danaher Forthcoming in Philosophy and Technology Abstract Add to Reading List Source URL: philpapers.org Language: English Cognitive science Academia Cybernetics Science and technology Formal sciences Algorithm Mathematical logic Theoretical computer science Big data Machine learning Legitimacy Artificial intelligence